monoidmap-aeson-0.0.0.1: golden/MonoidMap [Int] (Product Natural).json

{
    "samples": [
        [],
        [
            [
                [
                    -7,
                    4
                ],
                10
            ]
        ],
        [
            [
                [
                    -3,
                    -14,
                    8,
                    -6,
                    -8,
                    -11,
                    12,
                    2,
                    -5,
                    13,
                    3,
                    13,
                    1,
                    6
                ],
                7
            ]
        ],
        [
            [
                [
                    -13,
                    3,
                    -12,
                    2,
                    5,
                    -6,
                    7,
                    -2,
                    -4,
                    5,
                    -2,
                    10
                ],
                8
            ],
            [
                [
                    -11,
                    -3,
                    1,
                    -3,
                    -2,
                    2
                ],
                9
            ],
            [
                [
                    -11,
                    11,
                    1,
                    3,
                    -12,
                    7,
                    -12,
                    12,
                    0,
                    -14
                ],
                13
            ],
            [
                [
                    -11,
                    13,
                    8,
                    10,
                    8,
                    5,
                    4,
                    -11,
                    4,
                    2,
                    -8,
                    -9,
                    -8,
                    13
                ],
                4
            ],
            [
                [
                    -1,
                    5,
                    10,
                    -13,
                    11,
                    -4,
                    3,
                    -12,
                    0,
                    4,
                    7,
                    1,
                    5,
                    14
                ],
                5
            ],
            [
                [
                    -1,
                    14,
                    5,
                    -4,
                    0,
                    1,
                    -14,
                    -8,
                    9,
                    -12,
                    6
                ],
                9
            ],
            [
                [
                    1,
                    12
                ],
                10
            ],
            [
                [
                    12,
                    -13,
                    -14,
                    -4,
                    5,
                    5
                ],
                11
            ],
            [
                [
                    12,
                    6,
                    -8,
                    9,
                    -6,
                    -5
                ],
                6
            ]
        ],
        [
            [
                [
                    -14,
                    -9,
                    7,
                    9,
                    -12,
                    2,
                    13
                ],
                3
            ],
            [
                [
                    -11,
                    -3,
                    3,
                    12,
                    -11,
                    13
                ],
                5
            ],
            [
                [
                    -10,
                    -8,
                    0,
                    -12,
                    2,
                    -4,
                    -2
                ],
                12
            ],
            [
                [
                    -7,
                    -14,
                    2,
                    1,
                    6,
                    2
                ],
                2
            ],
            [
                [
                    -3,
                    -9
                ],
                6
            ],
            [
                [
                    -1,
                    -14,
                    -11,
                    8,
                    -3,
                    -1
                ],
                9
            ],
            [
                [
                    2,
                    -8,
                    -6,
                    -3,
                    2,
                    8,
                    4,
                    -1,
                    -2,
                    -14
                ],
                4
            ],
            [
                [
                    5,
                    -6,
                    6,
                    1
                ],
                4
            ],
            [
                [
                    11,
                    12,
                    0,
                    -12,
                    10,
                    3,
                    6,
                    13,
                    14,
                    -6,
                    -11
                ],
                7
            ]
        ],
        [
            [
                [],
                2
            ],
            [
                [
                    -13,
                    -3,
                    8,
                    -10
                ],
                12
            ],
            [
                [
                    -12,
                    9,
                    -9,
                    4,
                    5,
                    1,
                    7,
                    -13,
                    -6,
                    -1,
                    -13,
                    11,
                    -3,
                    14
                ],
                2
            ],
            [
                [
                    -10,
                    1,
                    5,
                    -2,
                    -1,
                    9,
                    -5,
                    -11,
                    -2,
                    -6,
                    -10,
                    11
                ],
                12
            ],
            [
                [
                    -4,
                    -5
                ],
                9
            ],
            [
                [
                    -3
                ],
                12
            ],
            [
                [
                    -3,
                    -3,
                    -6,
                    4,
                    -7,
                    2
                ],
                9
            ],
            [
                [
                    0,
                    11,
                    -9,
                    -9
                ],
                14
            ],
            [
                [
                    11,
                    -9,
                    -3,
                    -12,
                    1,
                    3,
                    -3,
                    2,
                    -11,
                    -3,
                    -6,
                    7
                ],
                2
            ],
            [
                [
                    14
                ],
                8
            ]
        ],
        [
            [
                [
                    -6,
                    -13,
                    -14,
                    -1
                ],
                9
            ],
            [
                [
                    -6,
                    10,
                    -13,
                    -5,
                    -14,
                    -3,
                    -5
                ],
                6
            ],
            [
                [
                    -1,
                    4,
                    -10,
                    -11,
                    -14,
                    -14,
                    -9,
                    10,
                    0,
                    11,
                    -6,
                    0,
                    14,
                    -13
                ],
                12
            ],
            [
                [
                    2,
                    -11,
                    12,
                    -13,
                    11,
                    11,
                    4,
                    -8,
                    7,
                    8,
                    -3,
                    -14,
                    -1
                ],
                11
            ]
        ],
        [
            [
                [
                    -12,
                    -11,
                    6,
                    9,
                    -14,
                    -5,
                    3,
                    13,
                    14,
                    -9,
                    -4,
                    13,
                    12
                ],
                9
            ],
            [
                [
                    -7,
                    -7,
                    4,
                    -4,
                    -9,
                    3,
                    0,
                    4,
                    -12,
                    6,
                    9,
                    -9,
                    14
                ],
                14
            ],
            [
                [
                    -6,
                    3,
                    1,
                    -2,
                    3
                ],
                12
            ],
            [
                [
                    -4,
                    0,
                    11,
                    -9,
                    -7
                ],
                3
            ],
            [
                [
                    -4,
                    9,
                    8,
                    8,
                    -10,
                    -2
                ],
                9
            ],
            [
                [
                    -3,
                    -2,
                    -11,
                    5,
                    11,
                    -6,
                    14
                ],
                12
            ],
            [
                [
                    -1,
                    -8,
                    4,
                    5,
                    -4,
                    -13,
                    3,
                    9,
                    4,
                    -8
                ],
                8
            ],
            [
                [
                    -1,
                    9,
                    8,
                    -7,
                    14,
                    8,
                    9
                ],
                9
            ],
            [
                [
                    0,
                    12,
                    3,
                    10,
                    13,
                    10,
                    -4,
                    -5,
                    9
                ],
                8
            ],
            [
                [
                    8,
                    7,
                    11,
                    11,
                    -7,
                    -5,
                    0,
                    -10,
                    12
                ],
                7
            ],
            [
                [
                    9,
                    4,
                    -1,
                    6,
                    0,
                    4,
                    2,
                    0,
                    9
                ],
                4
            ],
            [
                [
                    11,
                    7,
                    -8,
                    1,
                    14,
                    8,
                    0,
                    -9
                ],
                6
            ],
            [
                [
                    14,
                    -3,
                    -14,
                    14,
                    13,
                    -13,
                    -9,
                    14
                ],
                9
            ]
        ],
        [
            [
                [
                    -13,
                    5,
                    -9
                ],
                9
            ],
            [
                [
                    -12
                ],
                4
            ],
            [
                [
                    -7,
                    5,
                    2,
                    1,
                    -9,
                    -13,
                    2,
                    -8,
                    0,
                    7
                ],
                4
            ],
            [
                [
                    -6,
                    -6,
                    14,
                    1
                ],
                3
            ],
            [
                [
                    -3,
                    -10,
                    12,
                    -10,
                    -11,
                    -1,
                    2,
                    -9,
                    0,
                    -4
                ],
                5
            ],
            [
                [
                    -2
                ],
                5
            ],
            [
                [
                    -2,
                    -9,
                    -5,
                    -5,
                    1,
                    10,
                    5,
                    0,
                    -14,
                    -8,
                    -4
                ],
                11
            ],
            [
                [
                    -1
                ],
                7
            ],
            [
                [
                    2,
                    6,
                    -3,
                    2,
                    -13,
                    -8,
                    -9,
                    13,
                    -8,
                    -11,
                    -1,
                    -4
                ],
                4
            ],
            [
                [
                    4,
                    4,
                    5,
                    -12,
                    -8,
                    1
                ],
                12
            ],
            [
                [
                    6,
                    -1,
                    8,
                    3
                ],
                0
            ],
            [
                [
                    8,
                    5,
                    12,
                    -8,
                    0,
                    6,
                    -7,
                    4,
                    -12
                ],
                6
            ]
        ],
        [
            [
                [],
                9
            ],
            [
                [
                    -11,
                    11,
                    6,
                    -10,
                    6
                ],
                13
            ],
            [
                [
                    -10
                ],
                4
            ],
            [
                [
                    -3,
                    -10
                ],
                4
            ],
            [
                [
                    -3,
                    14
                ],
                10
            ],
            [
                [
                    -2,
                    14,
                    2,
                    8,
                    -8
                ],
                10
            ],
            [
                [
                    1,
                    8,
                    14
                ],
                3
            ],
            [
                [
                    5,
                    -13,
                    -1,
                    -11,
                    -12,
                    -9,
                    9,
                    10
                ],
                3
            ],
            [
                [
                    5,
                    4
                ],
                14
            ],
            [
                [
                    8,
                    -3,
                    11,
                    9,
                    7,
                    -7,
                    -7
                ],
                11
            ],
            [
                [
                    8,
                    1,
                    -10,
                    -3,
                    -14,
                    14
                ],
                4
            ],
            [
                [
                    12,
                    1,
                    -3,
                    12,
                    -5,
                    14,
                    14
                ],
                10
            ]
        ]
    ],
    "seed": 1920560133
}